Punctuating Propositions in Symbolic Logic